Видео ютуба по тегу Weak Memory Models

Weak Memory Models 101
Weak Memory Models 101
Открытая лекция «weak memory models»
Открытая лекция «weak memory models»
Constructing a Weak Memory Model
Constructing a Weak Memory Model
Making Weak Memory Models Fair
Making Weak Memory Models Fair
Fences and Stability in Weak Memory Models
Fences and Stability in Weak Memory Models
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
Verifying Programs in Weak Memory Models with Persistency
Verifying Programs in Weak Memory Models with Persistency
Programming Language Memory Models: Problems, Solutions, and Directions
Programming Language Memory Models: Problems, Solutions, and Directions
USENIX ATC '19 - The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
USENIX ATC '19 - The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
[FOWM'24] Evolving Weak Memory Models for Evolving Architectures
[FOWM'24] Evolving Weak Memory Models for Evolving Architectures
Checking microarchitectural implementations of weak memory
Checking microarchitectural implementations of weak memory
Ori Lahav — Weak memory concurrency in C/C++11
Ori Lahav — Weak memory concurrency in C/C++11
Persistence Semantics for Weak Memory
Persistence Semantics for Weak Memory
Krishna S - Verification of Concurrent Programs under Weak Memory
Krishna S - Verification of Concurrent Programs under Weak Memory
[FOWM'24] In-order execution nails every weak memory behavior
[FOWM'24] In-order execution nails every weak memory behavior
Verifying Programs in Weak Memory Models with persistency
Verifying Programs in Weak Memory Models with persistency
Assertional reasoning for weak memory, Ernie Cohen
Assertional reasoning for weak memory, Ernie Cohen
Mark Batty: Modular relaxed dependencies in weak memory concurrency
Mark Batty: Modular relaxed dependencies in weak memory concurrency
[POPL'24] How Hard is Weak-Memory Testing?
[POPL'24] How Hard is Weak-Memory Testing?